home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / macros / tip / fotable.tip < prev    next >
Text File  |  1993-09-15  |  6KB  |  176 lines
  1. % This macro source file is from the four volume series
  2. % "TeX in Practice" by Stephan von Bechtolsheim, published
  3. % 1993 by Springer-Verlag, New York.
  4. % Copyright 1993 Stephan von Bechtolsheim.
  5. % No warranty or liability is assumed.
  6. % This macro may be copied freely if no fees other than
  7. % media cost or shipping charges are charged and as long
  8. % as this copyright and the following source code itself
  9. % is not changed. Please see the series for further information.
  10. %
  11. % Version: 1.0
  12. % Date: May 1, 1993
  13. %
  14. %
  15. % This source code is documented in 16.8.1, p. II-298.
  16. % Original source in file "fonts2.TEX", starting line 1840.
  17. \wlog{L: "fotable.tip" ["fonts2.TEX," l. 1840, p. II-298]}%
  18. % This file DOES belong to format "texip."
  19. \catcode`\@ = 11
  20. \def\@OctPrintFontTable#1{% 
  21.     \hbox{% 
  22.         \rm\'{}% 
  23.         \kern-.2em
  24.         \it #1\/% 
  25.         \kern.05em
  26.     }% 
  27. }
  28. \def\@HexPrintFontTable#1{% 
  29.     \hbox{\rm\H{}\tt#1}% 
  30. }
  31. \def\@OddLineFontTable#1{% 
  32.     \cr
  33.     \noalign{\nointerlineskip}
  34.     \multispan{19}\hrulefill&
  35.     \setbox0 = \hbox{% 
  36.         \lower 2.3pt\hbox{% 
  37.             \@HexPrintFontTable{#1x}% 
  38.         }% 
  39.     }% 
  40.     \smash{\box0}% 
  41.     \cr
  42.     \noalign{\nointerlineskip}
  43. }
  44. \def\@EvenLineFontTable{\cr\noalign{\hrule}}
  45. \def\@FontTableStrut{\lower4.5pt\vbox to 14pt{}}
  46. \def\BeginFontTable #1{% 
  47.     $$
  48.     \postdisplaypenalty = 0
  49.     \global\count@=0
  50.     #1
  51.     \halign to\hsize\bgroup
  52.         \@FontTableStrut##\relax    \tabskip = 0pt plus 10pt&
  53.         &\hfil##\hfil&\vrule##% 
  54.     \cr
  55.     \lower6.5pt\null
  56.     &&&
  57.     \@OctPrintFontTable0&&
  58.     \@OctPrintFontTable1&&
  59.     \@OctPrintFontTable2&&
  60.     \@OctPrintFontTable3&&
  61.     \@OctPrintFontTable4&&
  62.     \@OctPrintFontTable5&&
  63.     \@OctPrintFontTable6&&
  64.     \@OctPrintFontTable7&
  65.     \@EvenLineFontTable
  66. }
  67. \def\EndFontTable{% 
  68.     \raise 11.5pt\null
  69.     &&&
  70.     \@HexPrintFontTable 8&&
  71.     \@HexPrintFontTable 9&&
  72.     \@HexPrintFontTable A&&
  73.     \@HexPrintFontTable B&&
  74.     \@HexPrintFontTable C&&
  75.     \@HexPrintFontTable D&&
  76.     \@HexPrintFontTable E&&
  77.     \@HexPrintFontTable F&
  78.     \cr
  79.     \egroup
  80.     $$% 
  81. }
  82. \def\:{% 
  83.     \setbox0 = \hbox{% 
  84.         \char\count@
  85.     }%
  86.     \ifdim\ht0 > 7.5pt
  87.         \@RepositionFontTable
  88.     \else
  89.         \ifdim\dp0 > 2.5pt
  90.             \@RepositionFontTable
  91.         \fi
  92.     \fi
  93.     \box0
  94.     \global\advance\count@ by 1
  95. }
  96. \def\@RepositionFontTable{% 
  97.     \setbox0 = \hbox{% 
  98.         $
  99.             \vcenter{% 
  100.                 \kern 2pt
  101.                 \box0
  102.                 \kern 2pt
  103.             }
  104.         $%
  105.     }% 
  106. }
  107. \def\NormalFontTable{%
  108.     &\@OctPrintFontTable{00x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  109.         \:&&\:&&\@OddLineFontTable0
  110.     &\@OctPrintFontTable{01x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  111.         \:&&\:&\@EvenLineFontTable
  112.     &\@OctPrintFontTable{02x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  113.         \:&&\:&&\@OddLineFontTable1
  114.     &\@OctPrintFontTable{03x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  115.         \:&&\:&\@EvenLineFontTable
  116.     &\@OctPrintFontTable{04x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  117.         \:&&\:&&\@OddLineFontTable2
  118.     &\@OctPrintFontTable{05x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  119.         \:&&\:&\@EvenLineFontTable
  120.     &\@OctPrintFontTable{06x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  121.         \:&&\:&&\@OddLineFontTable3
  122.     &\@OctPrintFontTable{07x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  123.         \:&&\:&\@EvenLineFontTable
  124.     &\@OctPrintFontTable{10x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  125.         \:&&\:&&\@OddLineFontTable4
  126.     &\@OctPrintFontTable{11x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  127.         \:&&\:&\@EvenLineFontTable
  128.     &\@OctPrintFontTable{12x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  129.         \:&&\:&&\@OddLineFontTable5
  130.     &\@OctPrintFontTable{13x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  131.         \:&&\:&\@EvenLineFontTable
  132.     &\@OctPrintFontTable{14x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  133.         \:&&\:&&\@OddLineFontTable6
  134.     &\@OctPrintFontTable{15x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  135.         \:&&\:&\@EvenLineFontTable
  136.     &\@OctPrintFontTable{16x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  137.         \:&&\:&&\@OddLineFontTable7
  138.     &\@OctPrintFontTable{17x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  139.         \:&&\:&\@EvenLineFontTable
  140. }
  141. \def\MoreFontTable{%
  142.     &\@OctPrintFontTable{20x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  143.         \:&&\:&&\@OddLineFontTable8
  144.     &\@OctPrintFontTable{21x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  145.         \:&&\:&\@EvenLineFontTable
  146.     &\@OctPrintFontTable{22x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  147.         \:&&\:&&\@OddLineFontTable9
  148.     &\@OctPrintFontTable{23x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  149.         \:&&\:&\@EvenLineFontTable
  150.     &\@OctPrintFontTable{24x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  151.         \:&&\:&&\@OddLineFontTable A
  152.     &\@OctPrintFontTable{25x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  153.         \:&&\:&\@EvenLineFontTable
  154.     &\@OctPrintFontTable{26x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  155.         \:&&\:&&\@OddLineFontTable B
  156.     &\@OctPrintFontTable{27x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  157.         \:&&\:&\@EvenLineFontTable
  158.     &\@OctPrintFontTable{30x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  159.         \:&&\:&&\@OddLineFontTable C
  160.     &\@OctPrintFontTable{31x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  161.         \:&&\:&\@EvenLineFontTable
  162.     &\@OctPrintFontTable{32x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  163.         \:&&\:&&\@OddLineFontTable D
  164.     &\@OctPrintFontTable{33x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  165.         \:&&\:&\@EvenLineFontTable
  166.     &\@OctPrintFontTable{34x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  167.         \:&&\:&&\@OddLineFontTable E
  168.     &\@OctPrintFontTable{35x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  169.         \:&&\:&\@EvenLineFontTable
  170.     &\@OctPrintFontTable{36x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  171.         \:&&\:&&\@OddLineFontTable F
  172.     &\@OctPrintFontTable{37x}&&\:&&\:&&\:&&\:&&\:&&\:&&
  173.         \:&&\:&\@EvenLineFontTable
  174. }
  175. \catcode`\@ = 12
  176.